基于重要度排序的配电自动化终端优化布局方法

针对配电自动化终端优化布局问题，提出了一种基于重要度排序的终端优化布局方法。首先以等年值综合费用为目标函数，供电可靠性和投入产出比为双重约束建立了配电自动化终端优化布局模型。然后通过分析配电自动化终端对供电可靠性提升的影响，给出各个节点的“二遥”及“三遥”终端安装重要度定义及计算公式。最后采用枚举法确定最优终端安装数量，基于节点终端安装重要度排序确定终端的最优安装位置。该方法考虑了已布局节点对剩余节点终端安装重要度的影响，能够在降低计算量的同时兼顾布局合理性。运用所提方法RBTS-BUS2系统及扩充模型进行终端优化布局并与智能优化算法的布局结果进行对比，验证了本文方法的有效性及优越性。     

5G与WiMAX双模AeroMACS机载终端设计与实现

针对现有航空移动机场通信系统(Aeronautical Mobile Airport Communication System,AeroMACS)尚未形成成熟的机载装机产品的问题,开展AeroMACS机载终端的研究。提出一种基于5G与WiMAX技术的双模AeroMACS机载终端设计方案,不仅能够实现国际标准WiMAX模式下的AeroMACS数据通信,而且利用国内5G技术的优势,大幅提升了AeroMACS机载终端的数据传输性能。通过设计的双通测试与传输速率测试方案,采用灌包测试的方法,验证了所设计的AeroMACS机载终端可以进行双模同时通信的功能,也表明了5G技术下的AeroMACS机载终端传输速率优于WiMAX技术。     

电网设备线夹开裂原因

某电力公司变电站用铝合金设备线夹在运行过程发生批次开裂事故,通过宏观观察、断口分析、化学成分分析、力学性能测试、冷冻模拟试验等方法,对设备线夹的开裂原因和开裂机理进行了分析。结果表明:设备线夹焊缝存在焊接缺陷,导致焊缝强度下降;设备线夹接线管底部存在积水空间,寒冷天气下积水结冰,体积膨胀,使焊缝承受设计工况外的负载而过载开裂,造成了线夹开裂。     

Korean automatic spacing using pretrained transformer encoder and analysis

Automatic spacing in Korean is used to correct spacing units in a given input sentence. The demand for automatic spacing has been increasing owing to frequent incorrect spacing in recent media, such as the Internet and mobile networks. Therefore, herein, we propose a transformer encoder that reads a sentence bidirectionally and can be pretrained using an out-of-task corpus. Notably, our model exhibited the highest character accuracy (98.42%) among the existing automatic spacing models for Korean. We experimentally validated the effectiveness of bidirectional encoding and pretraining for automatic spacing in Korean. Moreover, we conclude that pretraining is more important than fine-tuning and data size.     

我国中空吹塑行业发展现状及“十四五”期间重点产品、工艺和设备发展方向

从原料、中空成型机和吹塑工艺等方面介绍了我国中空吹塑行业发展现状，并对电子化学品专用超洁净桶、高压储氢四型瓶、全电动中空成型机、微发泡中空成型技术和挤吹聚对苯二甲酸乙二醇酯（PET）容器等在“十四五”期间的重点产品、工艺和设备发展方向进行了展望。     

基于化学监督的超(超)临界机组关键控制节能指标分析及建议

针对超(超)临界机组参数提高、材质升级,化学技术监督中的监督指标对机组经济性和可靠性影响较大的问题,本文通过机组典型案例分析、技术监督报告、现场实测等,对目前化学监督中影响较大的、关键的技术指标进行了系统性的分析研究。研究结果找出了6项化学监督中超(超)临界机组关键的、影响较大的控制监督指标,且提出了指标控制值和控制方法。这项系统性研究分析方法对指导超(超)临界机组化学监督具有重要的借鉴作用,以控制超(超)临界机组因参数提高和材质升级带来的新问题和新挑战。     

基于虚拟现实的复杂场景加载优化算法

目前大规模场景模型生成的需求量日益增加, 现提出了一种基于区域的自动 LOD (Levels Of Details)构建算法. 该算法基于动态网格简化算法, 在游戏设计制作的过程中, 游戏开发人员会经常需要对美工部门人员提供的模型进行优化. 为了可以使模型的面数得到简化, 并且不改变模型的外观. 当今流行的 LOD技术非常擅于处理这种情况, 判断模型与摄像机的距离如果超过一定范围之后, 自动调取不同层次的模型, 当模型距离摄像机很远的情况下使用面数低的模型替换高模, 这样可以提高帧率并且降低摄像机前的三角面以及顶点数从而减少渲染压力. 一般模型的简化分为静态和动态模型的简化.大部分情况下, 程序员会让美工部门提供几套不同面数的模型或者通过模型简化工具对高模进行减面并存成多个Mesh, 并在程序运行的时候, 根据模型与摄像机的距离远近动态的替换Mesh. 这是一种静态的方法.这里将尝试使用一种动态的网格简化和LOD技术相结合的方法. 这种新型算法的大大的简化了操作流程, 美术人员只需要提供一个模型, 程序员可以使用这种方法生成量级不同的低模, 根据摄像机与模型的远近自动的调取不同精度的模型.     

基于机器视觉的机车齿轮毂全自动双轴拧紧机的设计和应用

设计了基于机器视觉的机车齿轮毂全自动双轴拧紧机,根据拧紧工艺和扭矩控制原理实现对螺栓拧紧力矩的控制;通过丝杠变径机构,实现不同规格齿轮毂螺栓拧紧;利用机器视觉实现螺栓位置的识别以及初始位置的确定;讨论了自动拧紧机控制系统的硬件组成和软件系统配置,并介绍了防错、防漏功能的设计流程。螺栓自动拧紧机可提高装配精度和操作效率,降低工人的劳动强度。     

Automatic Transformation of Membrane‐Type Electronic Devices into Complex 3D Structures via Extrusion Shear Printing and Thermal Relaxation of Acrylonitrile–Butadiene–Styrene Frameworks

This work demonstrates a means of automatic transformation from planar electronic devices to desirable 3D forms. The method uses a spatially designed thermoplastic framework created via extrusion shear printing of acrylonitrile–butadiene–styrene (ABS) on a stress‐free ABS film, which can be laminated to a membrane‐type electronic device layer. Thermal annealing above the glass transition temperature allows stress relaxation in the printed polymer chains, resulting in an overall shape transformation of the framework. In addition, the significant reduction in the Young's modulus and the ability of the polymer chains to reflow in the rubbery state release the stress concentration in the electronic device layer, which can be positioned outside the neutral mechanical plane. Electrical analyses and mechanical simulations of a membrane‐type Au electrode and indium gallium zinc oxide transistor arrays before and after transformation confirm the versatility of this method for developing 3D electronic devices based on planar forms.     

区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.